detail resolution meaning in English
细部分辨
Examples
- Capture or to see detailed resolution is solved with megazoom deep memory as you can have both with a single measurement
在获得长时间捕获与高解析度间一直存在两难选择,而megazoom深存储器却能在一次测量中 - At the same time , the character of dynamical parameter under dynamical loads was taken into accout , so elastic eular - bernonulli foundation beam model under traffic loads was set up . in this model , firstly , the detailed resolution process accounting the parameters changing with the space was gained ; secondly , the detailed resolution process accounting the parameters changing with the time was gained , too
同时，建立了考虑管-土系统参数在动力下存在动态变化特点的交通荷载下管道的eular - bernoulli地基梁受力模型，分别对参数随着空间和空间变化时的位移响应提出了详细的解析求解过程，从而保证了管土系统在动力下参数随时空动态变化条件下解析求解方法的科学性与完备性。 - Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ，建立了新的格值模态命题逻辑系统lmp ( x ) ，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。